﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using NetalBase.Exceptions;
using NetalBase.Base;

namespace RmProto.Automata.CRA
{
	abstract class CRAStateBase : StateBase<ICRAEventPoint, CRADataPoint>, ICRA
	{
		public virtual void e_CR_cc()
		{
			throw new NoTransitionException();
		}

		public virtual void e_CR_fc()
		{
			throw new NoTransitionException();
		}

		public virtual void e_CR_init(IA.IA i)
		{
			throw new NoTransitionException();
		}

		public virtual void e_CR_p()
		{
			throw new NoTransitionException();
		}
		public virtual void e_CR_s()
		{
			throw new NoTransitionException();
		}
		public virtual void e_CR_r()
		{
			throw new NoTransitionException();
		}
		public virtual void e_CR_es()
		{
			throw new NoTransitionException();
		}

		public event z_CR_fin z_CR_fin;

		public event z_CR_e z_CR_e;
	}
}
